\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {1}{\ignorespaces Structure for the Function {\string\ptt\space .(1,.(2,.(3,[\string\pcomma\space ])))}}}{13}}
\newlabel{list}{{1}{13}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {2}{\ignorespaces Structures for the Functions {\string\ptt\space [X|L]} and {\string\ptt\space [a,b|L}}}{14}}